From: Stephane Glondu <steph@glondu.net>
Date: Tue, 21 Oct 2014 09:34:50 +0000 (+0200)
Subject: Update debian/watch
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~176
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/%22mailto:kde%40ewsoftware.de/%22style.css//%22node%24level1.%24level2.html/%22/%22http:/www.example.com/%22mailto:kde%40ewsoftware.de/%22style.css/%22node%24level1.%24level2.html/%22?a=commitdiff_plain;h=0584ebc9a8acc71516d4d28f0ebbfc6d278eefec;p=ocaml.git

Update debian/watch
---

diff --git a/debian/watch b/debian/watch
index 66302bc0..c19eec0f 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
 version=3
 opts=uversionmangle=s/\+/~/ \
-http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.bz2
+http://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.xz